Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
51	IEEE International Conference on Data Engineering PSALM: Cardinality Estimation in the Presence of Fine-grained Access Controls Huaxin Zhang, Ihab F. Ilyas, Kenneth Salem University of Waterloo Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2009-04-07 11:57:14 Data management Logic SQL Predicate logic Software Query optimization Cardinality Join Extension Sample size determination Sampling Parameter
52	STEM APPLICATIONS of NATURAL SELECTION Here are some items that provide great STEM "hooks": using genetics and cumulative natural selecti Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-07-30 13:55:01 Mathematics Algorithm Mathematical logic Theoretical computer science Evolutionary algorithms Mathematical optimization Complexity Genetic algorithm Science Applied mathematics Operations research
53	Code Factoring in GCC Gábor Lóki, Ákos Kiss, Judit Jász, and Árpád Beszédes Department of Software Engineering Institute of Informatics University of Szeged, Hungary {loki,akiss,jasy,beszedes}@inf.u-szeged.hu Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Algorithm Mathematical logic Theoretical computer science GNU Compiler Collection C Compiler optimization Software Computing Computer programming
54	eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp Add to Reading List Source URL: www.factory-in-a-day.eu Language: English - Date: 2015-03-26 05:06:07 Computer programming Mathematical optimization Constraint satisfaction Operations research Quadratic programming Slack variable Ada Constraint Composite Graph Constraint logic programming Constraint programming Software engineering Computing
55	A STUDY INTO THE EFFECT OF DIFFERENT FORMULATIONS OF THE METROPOLIS-HASTINGS ALGORITHM IN ESTIMATING MODEL PARAMETERS AND ERRORS Edmund Ryan, Mat Williams, Shaun Quegan Department of Applied Mathematics, University Add to Reading List Source URL: www.nceo.ac.uk Language: English* - Date: 2013-05-09 14:08:40 Mathematics Mathematical optimization Bayesian statistics Algorithm Mathematical logic Theoretical computer science Genetic algorithm Estimation theory Credible interval Statistics Statistical inference Applied mathematics
56	DECOMPOSITION OF COMPLEX DECISION PROBLEMS WITH APPLICATIONS TO ELECTRICAL POWER SYSTEM PLAJrnING by Add to Reading List Source URL: www.cazalet.com Language: English - Date: 2015-05-20 21:05:30 Applied mathematics Algorithm Mathematical logic Theoretical computer science Decision problem John von Neumann Mathematical optimization Economic model Mathematical economics Mathematics Operations research Science
57	Matching with Preferences over Colleagues Solves Classical Matching Scott Duke Kominers∗,1 Department of Economics, Harvard University and Harvard Business School Abstract Add to Reading List Source URL: www.scottkom.com Language: English - Date: 2009-12-01 08:03:55 Cooperative games Game theory Combinatorial optimization Stable marriage problem Entailment Preference Stable roommates problem Mathematics Logic Matching
58	The Mobile Solution Checklist ERIC [ECOMMERCE] Does the solution integrate well with your existing ecommerce platform? Does design and development logic work across mobile web and apps? Does the solution provider have a Add to Reading List Source URL: insights.mobify.com Language: English Electronic commerce Computing Business Technology Information technology management Infrastructure optimization Network performance
59	Compact Representations for Shortest-‐Path Queries Pankaj K. Agarwal Duke University The paradigm of computing geometric summaries has Add to Reading List Source URL: iros2011.org Language: English - Date: 2011-09-21 06:59:56 Algorithm Mathematical logic Theoretical computer science Mathematical optimization Combinatorial optimization Mathematics Operations research Applied mathematics
60	Production-Run Software Failure Diagnosis via Hardware Performance Counters Joy Arulraj Po-Chun Chang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-01-24 18:43:34 Central processing unit Software optimization Predicate logic Predicate Parallel computing Hardware performance counter Lock Software bug Profiling Computing Computer programming Concurrency control

UPDATE